Prenex normal form